Thomas Bouchet, Matthew Legget, Jean Vigreux, Geneviève Verdo, dirs,
نویسندگان
چکیده
منابع مشابه
Partial Toposes Jean Bénabou and Thomas Streicher
We introduce various notions of partial topos, i.e. “topos without terminal object”. The strongest one, called local topos, is motivated by the key examples of finite trees and sheaves with compact support. Local toposes satisfy all the usual exactness properties of toposes but are neither cartesian closed nor have a subobject classifier. Examples for the weaker notions are local homeomorphisms...
متن کاملJean - Francois Gibrat , Thomas Madej and Stephen H Bryant
Introduction Fast similarity search Similarity thresholds Refined structural alignments Concluding remarks Acknowledgements References and recommended reading Abbreviations Copyright
متن کاملDIRS: Disconnected Information Retrieval System
The World Wide Web gives individuals access to huge amounts of data. This includes access to information also found in traditional formats such as news copy. This study addresses a desire to blend these two mediums in such a way that media consumers can move transparently from a hard copy of a given article to an electronic copy. Document retrieval experiments were performed in an attempt to de...
متن کاملKevin Compton , Jean - Eric Pin , Wolfgang Thomas ( editors ) : Automata Theory : Infinite Computations
s of Talks Page I. Automata and Infinite Sequences 6 Ch. Frougny (Paris): Rational 0)-Relations, Application to the Representation of Real Numbers J. Karhuméiki (Turku): Finite Automata Computing Real Functions N. Klarlund (Aarhus): Progress Measures for Complementation of to-Automata B. Le Saec (Bordeaux): A Syntactic Approach to Deterministic to-Automata D. Perrin (Paris): to-Automata with Mu...
متن کاملDIRS and Ngaro Retrotransposons in Fungi
Retrotransposons with a tyrosine recombinase (YR) have been discovered recently and lack thorough annotation in fungi. YR retrotransposons are divided into 3 groups: DIRS, Ngaro and VIPER (known only from kinetoplastida). We used comparative genomics to investigate the evolutionary patterns of retrotransposons in the fungal kingdom. The identification of both functional and remnant elements pro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Questions de communication
سال: 2006
ISSN: 1633-5961,2259-8901
DOI: 10.4000/questionsdecommunication.7766